1

String-matching with OBDDs

Year:
2004
Language:
english
File:
PDF, 236 KB
english, 2004
2

The decision problem for some logics for finite words on infinite alphabets

Year:
2009
Language:
english
File:
PDF, 255 KB
english, 2009
3

Two equational theories of partial words

Year:
2018
Language:
english
File:
PDF, 548 KB
english, 2018